منابع مشابه
5 A pr 2 00 0 ITERATED PERFECT - SET FORCING AND A TRANSITIVE SET IN THE GROUND MODEL
In this paper we show that, when we iteratively add Sacks reals to a model of ZF C we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other.
متن کاملFuzzy Forcing Set on Fuzzy Graphs
The investigation of impact of fuzzy sets on zero forcing set is the main aim of this paper. According to this, results lead us to a new concept which we introduce it as Fuzzy Zero Forcing Set (FZFS). We propose this concept and suggest a polynomial time algorithm to construct FZFS. Further more we compute the propagation time of FZFS on fuzzy graphs. This concept can be more efficient to model...
متن کاملIterated Class Forcing
In this paper we develop the notion of \stratiied" class forcing and show that this property both implies coonality-preservation and is preserved by iterations with the appropriate support. Many Easton-style and Jensen-style forcings are stratiied, as are some more exotic forcings obtained by mixing these types together (see Easton 70], section 36 of Jech 78], Beller-Jensen-Welch 82], Friedman ...
متن کاملSome results about (+) proved by iterated forcing
We shall show that the consistency of CH+¬(+) and CH+(+)+there are no club guessing sequences on ω1. We shall also prove that ♢ does not imply the existence of a strong club guessing sequence on ω1. §0. Introduction. The principle (+) and its variations were first considered by the second author in [2]. They are very weak club guessing principles. The properties of the principles were largely u...
متن کامل1. Iterated Forcing and Elementary Embeddings
In this chapter we present a survey of the area of set theory in which iterated forcing interacts with elementary embeddings. The original plan was to concentrate on forcing constructions which preserve large cardinal axioms, particularly Reverse Easton iterations. However this plan proved rather restrictive, so we have also treated constructions such as Baumgartner’s consistency proof for the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1979
ISSN: 0003-4843
DOI: 10.1016/0003-4843(79)90010-x